adding special port rotation for boot peers
[SauerbratenRemote.git] / P2PMud-sauerbraten / launchers / P2PMudPeer 9090 roy.launch
blobaac25470f9cc3575b5436a03eae73d08886878b8
1 <?xml version="1.0" encoding="UTF-8"?>
2 <launchConfiguration type="org.codehaus.groovy.eclipse.groovyLaunchConfiguration">
3 <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
4 <listEntry value="/P2PMud-sauerbraten/src/p2pmud/P2PMudPeer.java"/>
5 </listAttribute>
6 <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
7 <listEntry value="1"/>
8 </listAttribute>
9 <booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/>
10 <stringAttribute key="org.eclipse.debug.core.source_locator_id" value="org.codehaus.groovy.eclipse.editor.groovySourceLocator"/>
11 <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="p2pmud.P2PMudPeer"/>
12 <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="9090 69.138.62.234 9090 -past helloThere"/>
13 <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="P2PMud-sauerbraten"/>
14 </launchConfiguration>